Using bzl logic , security , anonymity and tracing ability of the digital - cash is verified . the protocol proves strong by using the factual system and being verified by the bzl logic 通過(guò)在電子交易系統(tǒng)的實(shí)際應(yīng)用和bzl邏輯的形式化驗(yàn)證,證明了提出的數(shù)字現(xiàn)金協(xié)議是一個(gè)強(qiáng)壯的協(xié)議。
The householder transformation have some advantages of anti ill function , stability , fewer calculation amount and good trace ability . in addition , in practice application high frequency interferer and data mutation are considerd , so the data acquired derectly are pre - disposed 辨識(shí)算法上,采用了基于householder變換的自適應(yīng)最小二乘法,其具有抗方程病態(tài)性好,穩(wěn)定性好,計(jì)算量小,跟蹤性好等優(yōu)點(diǎn)。
trace: n. (馬車(chē)等的)挽繩,挽車(chē)的皮帶;【機(jī)械工程】連動(dòng)桿; ...ability: n. 能,能力,本領(lǐng),技能;〔pl.〕 才,才能,才干。 ...a trace: a掃跡; a掃描軌跡; 蹤跡a-trace: 掃描線no trace: 無(wú)線索trace: trace1 n. 1.跡,足跡,蹤跡,去向。 2.痕跡;證跡,線索,結(jié)果;【心理學(xué)】記憶痕;【植物;植物學(xué)】(脈)跡。 3.微量,【化學(xué)】痕量;一點(diǎn)點(diǎn)。 4.跡線,圖形,圖樣;【筑城】示意圖,略圖(自記儀器的)記錄圖像;(示波器上的)掃描(行程),掃跡。 5.【幾】交點(diǎn),交線;接觸線;描跡;描繪;【軍事】經(jīng)始線;【氣象】小到不能計(jì)量的雨量〔略作 T〕。 a trace of fear 微微有點(diǎn)害怕。 (hot) on the traces of 追蹤,追近。 vt. 1.跟蹤,追蹤;偵探,探索,查找。 2.順著去,跟著…去;追溯由來(lái),追究。 3.描繪,畫(huà)輪廓,打圖樣;【軍事】畫(huà)出(軍事設(shè)施的)經(jīng)始線;(用心)寫(xiě);〔比喻〕計(jì)劃。 4.描摹,映描;復(fù)寫(xiě)。 5.【建筑】用花窗格裝飾。 trace back 追溯 (The report has been traced back to you. 這個(gè)謠言追究到你這里來(lái)了)。 trace beans 〔美俚〕非常好奇。 trace out 探尋蹤跡;描摹,映寫(xiě);計(jì)劃。 trace (out) a plan 映繪平面圖。 trace (out) a policy 草擬一項(xiàng)政策)。 vi. 1.沿路走;沿路線走。 2.追溯到 (to)。 n. (馬車(chē)等的)挽繩,挽車(chē)的皮帶;【機(jī)械工程】連動(dòng)桿;【植物;植物學(xué)】(脈)跡。 in the traces 上著挽繩;負(fù)擔(dān)日常工作。 jump the traces 掙脫羈絆;〔比喻〕擺脫束縛。 kick over the traces 掙脫羈絆;〔比喻〕不受駕馭,反抗。 trace into: 跟蹤到trace to: 上溯, 追查到; 追溯到-ability: 后綴 由 -able 轉(zhuǎn)成的名詞詞尾,表示“可能性”: curability. ability: n. 能,能力,本領(lǐng),技能;〔pl.〕 才,才能,才干。 financial abilities 財(cái)力。 a man of ability 有本事的人。 to the best of one's ability 竭力,盡力,盡量。 ability for: 具有...的能力ability to: 具有...的能力trace-to-trace coherence criterion: 道間相干準(zhǔn)則trace-to-trace phase distortion: 道間相位畸變trace-to-trace time delay: 道間相對(duì)時(shí)延a ormal trace: 不正常道abnormal trace: 不正常道activity trace: 活動(dòng)追蹤addre trace: 地址道address trace: 地址跟蹤; 地址軌airborne trace: 飛機(jī)軌跡; 航跡alternating trace: 交替跡anodal trace: 離節(jié)跡arc trace: 電弧痕跡attachment trace: 附著跡